alternate proof

替代證法